// FIX: Use property access syntax
// HIGHLIGHT: GENERIC_ERROR_OR_WARNING
// WITH_STDLIB

fun main() {
    val k = K()
    with(k) {
        <caret>getX()
    }
}

class K: J() {
    override fun getX(): Int {
        return super.getX()
    }

    override fun setX(x: Int) {
        super.setX(x)
    }
}